首页> 外文OA文献 >Language-specific vs. language-independent approaches: embedding semantics on a metamodel for testing and verifying access control policies

【2h】

Language-specific vs. language-independent approaches: embedding semantics on a metamodel for testing and verifying access control policies

机译：特定于语言还是独立于语言的方法：将语义嵌入到元模型中以测试和验证访问控制策略

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Le Traon, Yves; Mouelhi, Tejeddine; Fleurey, Franck; Baudry, Benoit;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Simulation-Based Approaches for Verification of Embedded Control Systems: An Overview of Traditional and Advanced Modeling, Testing, and Verification Techniques [J] . James Kapinski, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Control Systems, IEEE . 2016,第6期

机译：嵌入式控制系统的基于仿真的验证方法：传统和高级建模，测试和验证技术的概述
2. Access Control Metamodel for Policy Specification and Enforcement: From Conception to Formalization [J] . Nadine Kashmar, Mehdi Adda, Mirna Atieh, Procedia Computer Science . 2021,第1期

机译：用于策略规范和执法的访问控制元模型：从概念到正式化
3. A Metamodel for Hybrid Access Control Policies [J] . Jamal Abd-Ali1*, Karim El Guemhioui1, Luigi Logrippo1, Journal of software . 2015,第7期

机译：混合访问控制策略的元模型
4. Language-Specific vs. Language-Independent Approaches: Embedding Semantics on a Metamodel for Testing and Verifying Access Control Policies [C] . Traon Yves Le, Mouelhi Tejedinne, Fleurey Franck, Third International Conference on Software Testing, Verification, and Validation—Workshops . 2010

机译：特定于语言的方法与独立于语言的方法：将语义嵌入到用于测试和验证访问控制策略的元模型中
5. Context-aware access control in pervasive environments using semantic-based policies. [D] . Dersingh, Anand. 2009

机译：使用基于语义的策略在普适环境中的上下文感知访问控制。
6. Developing and Validating Metamodels of a Microsimulation Model of Infant HIV Testing and Screening Strategies Used in a Decision Support Tool for Health Policy Makers [O] . Djøra I. Soeteman, Stephen C. Resch, Hawre Jalal, 2020

机译：开发和验证婴幼儿艾滋病检测微观模型的形态学和卫生政策制定者决策支持工具的筛选策略
7. Language-specific vs. language-independent approaches: embedding semantics on a metamodel for testing and verifying access control policies [O] . Le Traon, Yves, Mouelhi, Tejeddine, Fleurey, Franck, 2010

机译：特定于语言还是独立于语言的方法：将语义嵌入到元模型中以测试和验证访问控制策略

Language-specific vs. language-independent approaches: embedding semantics on a metamodel for testing and verifying access control policies

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅